Section: New Software and Platforms

PolyLib

The Polyhedral Library

Keywords: Rational polyhedra - Library - Polyhedral compilation

Scientific Description: A C library used in polyhedral compilation, as a basic tool used to analyze, transform, optimize polyhedral loop nests. Has been shipped in the polyhedral tools Cloog and Pluto.

Functional Description: PolyLib is a C library of polyhedral functions, that can manipulate unions of rational polyhedra of any dimension. It was the first to provide an implementation of the computation of parametric vertices of a parametric polyhedron, and the computation of an Ehrhart polynomial (expressing the number of integer points contained in a parametric polytope) based on an interpolation method. Vincent Loechner is the maintainer of this software.

• Participant: Vincent Loechner

• Contact: Vincent Loechner

• URL: http://icps.u-strasbg.fr/PolyLib/